alpha :: forall x. (a -> x) -> F x